Modeling a New AQM Model for Internet Chaotic Behavior Using Petri Nets

Formal modeling is considered one of the fundamental phases in design network algorithms, including Active Queue Management (AQM) schemes. This article focuses on with Petri nets (PNs) a new scheme AQM. innovative AQM based discrete dynamical model random early detection (RED) for controlling bifurcations and chaos Internet congestion control. It incorporates parameters (α,β) that make possible better stability control over oscillations an average queue length (AQL) at router. The PN validated through matrix equation approach, reachability tree, invariant analysis. correctness key properties reachability, boundedness, reversibility, deadlock, liveness.